 |
Your search returned 14 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1989 Volume number : 15 Issue: 11 |
A Formal Evalution Of Data Fow Path Selection Ctiteria
(Article)
Subject:
Path Selection
,
Software Testing
,
Testing Methods
Author:
Lori A.
Clarke
A
Podgurski
Dean
Richardson
page:
1318
-
1332
Mapping The Interface Description Language Type Model Into C
(Article)
Subject:
Interface Design
,
Programming Environments
,
Type Force
Author:
Karen
Shannon
Richard
Snodgrass
page:
1333
-
1346
Trace Analysis For Conformance And Arbitration Testing
(Article)
Subject:
Communication Protocol
,
Conformance Testing
,
Distributed Systems
Author:
Rachida
Dssouli
Gregor V.
Bochmann
J. R.
Zhao
page:
1347
-
1356
Ctdnet A Mechanism For The Concurrent Execution Of Lambda Graphs
(Article)
Subject:
Concurrency
,
Data Flow Analysis
,
Functional Processes
,
Multiprocessor
Author:
Jai Prakash
Gupta
D
Wilson
page:
1357
-
1367
A Set Inference Rules For Quantified Formula Handling And Array Handling In Verification Of Programs Over Integers
(Article)
Subject:
Program Verification
,
Theorem
,
Symbolic
Author:
Dilip
Sarkar
S. C. De
Sarkar
page:
1368
-
1381
Kit A Study In Operting System Verification
(Article)
Subject:
Automated Transfer Lines
,
Formal Specification
,
Program Verification
Author:
William R.
Bevier
page:
1382
-
1396
A Case Study Jkin Structure Specification A Grid Description Of Sceibe
(Article)
Subject:
Graphical Representations
,
Structure Of Matter
Author:
Harold
Ossher
page:
1397
-
1416
Multiparty Interaction For Interprocess Communication And Synchronization
(Article)
Subject:
Author:
page:
1417
-
1426
Allocating Moules To Processors In A Distributed System
(Article)
Subject:
Author:
page:
1427
-
1346
Including Scalars In A Programming Language Based On The Relational Algebra
(Article)
Subject:
Author:
page:
1437
-
1443
Finding Idle Machines In A Workstation-Based Distributed System
(Article)
Subject:
Author:
page:
1444
-
1458
Critical Races In Ada Programs
(Article)
Subject:
Author:
page:
1471
-
1480
Concise Papers
(Article)
Subject:
Author:
page:
1481
-
1490
Corrpondence
(Article)
Subject:
Author:
page:
1491
-
1494
|
|
| | |
